-
1 tautology theorem
Большой англо-русский и русско-английский словарь > tautology theorem
-
2 tautology theorem
Математика: теорема тавтологии -
3 tautology theorem
мат. -
4 theorem
- analytical hierarchy theorem - arithmetical hierarchy theorem - closed range theorem - formally provable theorem - implicit function theorem - initial value theorem - integral representation theorem - local limit theorem - maximal ergodic theorem - mean value theorem - normal form theorem - ratio limit theorem - rational root theorem - second mean value theorem - theorem of consistency proofs - theorem of corresponding states - three line theorem - three series theorem - uniform convergence theorem - uniform ergodic theorem - uniform mean value theoremtheorem implies — из теоремы следует, что…
-
5 теорема тавтологии
tautology theorem мат.Русско-английский научно-технический словарь Масловского > теорема тавтологии
-
6 теорема тавтологии
Большой англо-русский и русско-английский словарь > теорема тавтологии
-
7 теорема тавтологии
Mathematics: tautology theoremУниверсальный русско-английский словарь > теорема тавтологии
-
8 закон
act, law, principle* * *зако́н м.
law; rule; principleизменя́ться по (за́данному) зако́ну — change [vary] in a (predetermined) manner [fashion]сигна́л изменя́ется по зако́ну модули́рующего напряже́ния — the signal follows the modulating voltageнаходи́ть по зако́ну — find [determine, give] by the lawзако́н о том, что … — the law that …по зако́ну — under the lawподчиня́ться зако́ну — obey the lawсогла́сно зако́ну — by [according to] the lawзако́н Авога́дро — Avogadro's hypothesis, Avogadro's lawзако́н аддити́вности — additivity law, principle of additivityадиабати́ческий зако́н — adiabatic lawзако́н Архиме́да — Archimedes' principleзако́н ассоциати́вности — associative lawзако́н Бабо́ ( в физической химии) — Babo's lawзако́н Бавено́ крист. — Baveno twin lawзако́н Берну́лли ( в теории вероятностей) — Bernoulli's theoremзако́н биномиа́льного распределе́ния — binomial(-distribution) lawзако́н Би́о—Сава́ра ( в электродинамике) — Biot-Savart's lawзако́н Бо́йля—Марио́тта — Boyle's law, Mariotte's lawзако́н Бо́льцмана ( в статистической механике) — Boltzmann distribution lawзако́н больши́х чи́сел — law of large numbers, law of averagesзако́н Бу́гера-Ламбе́рта-Бе́ера ( в аналитической химии) — Bouguer-Lambert-Beer law, Beer-Lambert-Bouguer lawзако́н Вант-Го́ффа — Van't Hoff lawвероя́тностный зако́н — probability law, law of probabilityзако́н взаи́мности ( в теории чисел) — reciprocity lawзако́н взаи́мности квадра́тных вы́четов — quadratic reciprocity lawзако́н взаимозамести́мости кфт. — reciprocity law, Bunsen-Roscoe lawзако́н виртуа́льных скоросте́й — law of virtual velocitiesзако́н возраста́ния энтропи́и — law of degradation of energyзако́н всеми́рного тяготе́ния Ньюто́на — (Newton's) law of gravitationзако́н Ге́йгера—Нетто́ла яд. физ. — Geiger-Nuttall ruleзако́н Гей-Люсса́ка ( в термодинамике) — Gay-Lussac's law, combining volumes principle, Charle's lawзако́н Ге́нри ( в термодинамике) — Henry's lawзако́н Ге́сса ( в термохимии) — Hess's law, law of constant heat summationгиперболи́ческий зако́н — hyperbolic lawзако́н Грэ́ма ( в коллоидной химии) — Graham's lawзако́н Гу́ка ( в механике) — Hooke's lawзако́н Дальто́на ( в кинетической теории газов) — Dalton's law, law of partial pressuresзако́н Да́рси ( в гидродинамике) — Darcy's lawзако́н движе́ния электро́нов в электри́ческом по́ле — behavior of electrons in an electric fieldзако́н двойно́го отрица́ния — law of double negationдвучле́нный зако́н — binomial lawзако́н де́йствия и противоде́йствия — law of action and reactionзако́н де́йствующих масс — law of mass action, mass action lawзако́н Джо́уля—Ле́нца — Joule's lawзако́н дистрибути́вности — distributive lawзако́н дистрибути́вности дизъю́нкции относи́тельно конъю́нкции — distributive law of disjunction over conjunctionзако́н дистрибути́вности конъю́нкции относи́тельно дизъю́нкции — distribution law of conjunction over disjunctionзако́н идеа́льного га́за — ideal gas lawзако́н излуче́ния Пла́нка — Planck distribution law, Planck radiation formulaзако́н излуче́ния Рэ́лея—Джи́нса ( в статистической механике) — Rayleigh-Jeans lawзако́н ине́рции — Galileo's law of inertia, first law of motionзако́н исключё́нного тре́тьего — law of the excluded middleквадрати́чный зако́н — square lawква́нтовый зако́н — quantum lawзако́н Ке́плера астр. — Kepler's lawзако́ны Кирхго́фа — Kirchhoff's lawsзако́н Кольра́уша ( в физической химии) — Kohlrausch's lawзако́н коммутати́вности — commutative lawзако́н конве́кции — raw or convectionзако́н ко́синуса — cosine lawзако́н кра́сного смеще́ния астр. — the red-shift law, Hubble lawзако́н кра́тных отноше́ний — (Dalton's) law of multiple proportionsзако́н Куло́на — Coulomb's lawлине́йный зако́н — linear lawзако́н ма́лых чи́сел — law of small numbersзако́н Менделе́ева, периоди́ческий — Mendeleev's periodic lawзако́н наиме́ньшего де́йствия — principle of least actionнеква́нтовый зако́н — unquantized lawзако́ны меха́ники Нью́тона — Newton's laws of motionзако́н обрати́мости опт. — principle of reversibilityзако́н обра́тных квадра́тов — inverse-square lawзако́н объё́мных отноше́ний — law of combining volumesзако́н О́ма — Ohm's lawосновно́й зако́н — fundamental lawзако́н оши́бок — error functionзако́н паё́в — law of multiple proportionsзако́н парциа́льных давле́ний — Dalton's law, law of partial pressuresзако́н Паска́ля ( в гидростатике) — Pascal's lawзако́н Па́шена ( в теории газовых разрядов) — Paschen's lawперемести́тельный зако́н — commutative lawзако́н площаде́й — law of areasзако́н поглоще́ния — law of absorptionзако́н подо́бия — scaling [similarity, similitude] lawзако́н по́лного то́ка — Ampere's circuital lawзако́н постоя́нства соста́ва — law of constant [definite] proportionsзако́н постоя́нства сумм тепла́ ( в термохимии) — Hess's law, law of constant heat summationзако́н постоя́нства угло́в — law of constant anglesзако́н преобразова́ния — transformation lawзако́н простра́нственного заря́да — spacecharge lawзако́н просты́х объё́мных отноше́ний — Gay-Lussac's law, combining volumes principle, Charle's lawзако́н противоре́чия — law of contradictionзако́н Пуазё́йля ( закон ламинарного течения вязкой жидкости через тонкую трубку) — Poiseuille's lawзако́н равноме́рного распределе́ния — equipartition lawзако́н радиоакти́вного распа́да — radioactive decay lawзако́н радиоакти́вного смеще́ния — radioactive-displacement lawзако́н развё́ртывания — law of developmentзако́н распределе́ния — distribution [partition] lawзако́н распределе́ния вероя́тностей — probability [distribution] lawзако́н распределе́ния оши́бок — law (of propagation) of errorsраспредели́тельный зако́н — distributive lawзако́н Рау́ля ( в физической химии) — Raoult's lawзако́н регули́рования — control (mode), control actionзако́н регули́рования, астати́ческий — integral control (mode [action]), I-control (mode [action])зако́н регули́рования, изодро́мный — proportional-plus-integral control [PI-control] (action)зако́н регули́рования, изодро́мный с предваре́нием [по произво́дной] — proportional-plus integral-plus derivative control [PID-control] (action)зако́н регули́рования, стати́ческий — proportional control (mode [action]), P-control (mode [action])зако́н рефлекти́вности — reflexive lawзако́н Рэ́лея ( в теории рассеяния света) — Rayleigh lawзако́н самодистрибути́вности — self-distributive lawзако́н свобо́дного паде́ния — free-fall lawзако́н симме́трии — symmetry lawзако́н си́нусов — sine lawзако́н сло́жных проце́нтов — law of compound interestзако́н случа́йных оши́бок — law of accidental errorsзако́н смеще́ния Ви́на — Wien's (displacement) lawзако́н сохране́ния коли́чества движе́ния — law of conservation of momentumзако́н сохране́ния ма́ссы — law of conservation of massзако́н сохране́ния мате́рии — law of conservation of matterзако́н сохране́ния эне́ргии — law of conservation of energyсочета́тельный зако́н — associative lawзако́н тавтоло́гии — law of tautologyзако́н термодина́мики — law of thermodynamicsзако́н то́ждества — law of identity, idempotent lawзако́н транзити́вности — transitive lawзако́н трёх вторы́х — three-halves power lawзако́н тройно́го отрица́ния — law of triple negationзако́н тяготе́ния Эйнште́йна — Einstein's law of gravitation, Einstein's field equationsзако́н упру́гости — law of elasticityзако́ны Фараде́я ( основные законы электролиза) — Faraday's laws of electrolysisзако́н Фараде́я—Ма́ксвелла—Ле́нца — Faraday's law of induction, law of electromagnetic inductionзако́н хими́ческих эквивале́нтов — law of multiple proportionsзако́н це́лых чи́сел — law of rational inducesзако́н Эйнште́йна ( в фотохимии) — Einstein law of photochemical equivalencesзако́н эквивале́нтов — law or multiple proportionsэкспоненциа́льный зако́н — exponential law* * *
См. также в других словарях:
Tautology (logic) — In propositional logic, a tautology (from the Greek word ταυτολογία) is a propositional formula that is true under any possible valuation (also called a truth assignment or an interpretation) of its propositional variables. For example, the… … Wikipedia
Coase theorem — In law and economics, the Coase theorem (pronounced /ˈkoʊs/), attributed to Ronald Coase, describes the economic efficiency of an economic allocation or outcome in the presence of externalities. The theorem states that if trade in an externality… … Wikipedia
Deduction theorem — In mathematical logic, the deduction theorem is a metatheorem of first order logic.[1] It is a formalization of the common proof technique in which an implication A → B is proved by assuming A and then proving B from this assumption.… … Wikipedia
Herbrand's theorem — is a fundamental result of mathematical logic obtained by Jacques Herbrand (1930). [J. Herbrand: Recherches sur la theorie de la demonstration. Travaux de la Societe des Sciences et des Lettres de Varsovie, Class III, Sciences Mathematiques et… … Wikipedia
Cut-elimination theorem — The cut elimination theorem (or Gentzen s Hauptsatz) is the central result establishing the significance of the sequent calculus. It was originally proved by Gerhard Gentzen 1934 in his landmark paper Investigations in Logical Deduction for the… … Wikipedia
Vampire theorem prover — Vampire is an automatic theorem prover for first order classical logic developed in the Computer Science Department of the University of Manchester by Prof. Andrei Voronkov previously together with Dr. Alexandre Riazanov. It has won the world cup … Wikipedia
Tau (theorem prover) — Tau is a robust and general purpose, interactive (live on the web), user configurable automated theorem prover for first order predicate logic with equality. Tau proves both theorems and arguments expressed in unrestricted first order notation in … Wikipedia
Outline of logic — The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… … Wikipedia
Natarajan Shankar — Born India Fields Computer Science Institutions … Wikipedia
Boolean algebra — This article discusses the subject referred to as Boolean algebra. For the mathematical objects, see Boolean algebra (structure). Boolean algebra, as developed in 1854 by George Boole in his book An Investigation of the Laws of Thought,[1] is a… … Wikipedia
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia